https://filesoo.com/product/84362/semitopological-vector-spaces-hypernorms-hyperseminorms-and-operators